منابع مشابه
An Experiment in Knowledge-Based Automatic Programming
Human programmers seem to know a lot about programming. This suggests a way to try to build automatic programming systems: encode this knowledge in some machine-usable form. In order to test the viability of this approach, knowledge about elementary symbolic programming has been codified into a set of about four hundred detailed rules, and a system, called PECOS, has been built for applying the...
متن کاملScene Labeling Through Knowledge-Based Rules Employing Constrained Integer Linear Programing
Scene labeling task is to segment the image into meaningful regions and categorize them into classes of objects which comprised the image. Commonly used methods typically find the local features for each segment and label them using classifiers. Afterward, labeling is smoothed in order to make sure that neighboring regions receive similar labels. However, they ignore expressive and non-local de...
متن کاملAn Experiment in Knowledge-based Signal Understanding Using Parallel Architectures
This report documents an experiment investigating the potential of a parallel computing architecture to enhance the performance of a knowledge-based signal understanding system. The experiment consisted of implementing and evaluating an application encoded in a parallel programming extension of Lisp and executing on a simulated multiprocessor system. The choosen application for the experiment w...
متن کاملFunctional Programing
Welcome to the rst functional programming column! Functional programmers and formal methoders have much to say to each other, and this column is intended to further such communication. Functional programming supports formal methods. A large number of proof systems and other formal methods packages have been implemented in functional languages. ML, the doyen of functional languages, takes its na...
متن کاملLogic Programing in Artificial Intelligence
Logic programming originated in the field of artificial intelligence * It was artificial intelligence that provided both the theorem-proving research for its backward-reasoning execution strategy [42,47,68] and its first intended applications in natural language question-answering [14]-It also provided the controversy (see e.g« [32,81]). between the relative merita of procedural versus declarat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of King Saud University - Computer and Information Sciences
سال: 1996
ISSN: 1319-1578
DOI: 10.1016/s1319-1578(96)80006-1